Category theory

Results: 1468



#Item
741Abstract algebra / Spectrum / E∞-operad / Homotopy category / Homotopy / Sigma-algebra / Stable homotopy theory / Out / Highly structured ring spectrum / Homotopy theory / Topology / Mathematics

Contemporary Mathematics H∞ 6= E∞ Justin Noel Abstract. We provide an example of a spectrum over S 0 with an H∞ structure which does not rigidify to an E3 structure. It follows that in the category of spectra over

Add to Reading List

Source URL: www.nullplug.org

Language: English - Date: 2014-04-22 16:45:21
742Higher-order functions / Category theory / Fold / Recursion / Function / Map / Surjective function / Homomorphism / Anamorphism / Mathematics / Mathematical analysis / Functions and mappings

Chapter 8 Algebraic Methods for Optimization Problems Richard Bird, Jeremy Gibbons and Shin-Cheng Mu Abstract. We argue for the benefits of relations over functions for modelling programs, and even more so for modellin

Add to Reading List

Source URL: www.iis.sinica.edu.tw

Language: English - Date: 2003-08-20 02:35:09
743Category theory / Module theory / Functors / Injective module / Adjoint functors / Injective object / Algebraically compact module / Derived category / Sheaf / Abstract algebra / Algebra / Homological algebra

Triangulated categories and the Ziegler spectrum Grigory Garkusha and Mike Prest 2005 MIMS EPrint: [removed]

Add to Reading List

Source URL: eprints.ma.man.ac.uk

Language: English - Date: 2006-06-01 12:03:36
744Group theory / Functions and mappings / Lemmas / Linear algebra / Category theory / Monoid / Function / Coset / Pumping lemma for context-free languages / Mathematics / Algebra / Abstract algebra

Stably Computable Predicates are Semilinear Dana Angluin James Aspnes Department of Computer

Add to Reading List

Source URL: www.cs.yale.edu

Language: English - Date: 2015-02-03 22:51:46
745Sheaf theory / Sheaf / Natural transformation / Topos / Initial and terminal objects / Equivalence relation / Presheaf / Equivalence of categories / Grothendieck topology / Category theory / Abstract algebra / Functors

Theory and Applications of Categories, Vol. 1, No. 9, 1995, pp. 174{178. ON THE SIZE OF CATEGORIES PETER FREYD AND ROSS STREET Transmitted by Michael Barr

Add to Reading List

Source URL: www.maths.soton.ac.uk

Language: English - Date: 2008-02-27 12:11:00
746Functors / Sheaf theory / Adjoint functors / Cartesian closed category / Topos / Exponential object / Hom functor / Yoneda lemma / Diagonal functor / Category theory / Mathematics / Abstract algebra

Reprints in Theory and Applications of Categories, No. 15, 2006, pp. 1–13. DIAGONAL ARGUMENTS AND CARTESIAN CLOSED CATEGORIES F. WILLIAM LAWVERE

Add to Reading List

Source URL: emis.library.cornell.edu

Language: English - Date: 2006-02-24 14:27:12
747Knowledge representation / Phenomenologists / Information science / Edmund Husserl / Formal ontology / Barry Smith / Roman Ingarden / Phenomenology / Category of being / Philosophy / Metaphysics / Ontology

Ontology: Theory and History from a Philosophical Perspective

Add to Reading List

Source URL: www.ontologyasia.com

Language: English - Date: 2014-04-10 05:18:23
748Computer architecture / Mac OS X / Algebraic geometry / Category theory / Stacks / Dock / Mac OS X Snow Leopard / Mac OS X Leopard / Algebraic stack / System software / Software / Graphical user interface elements

Downloads Stack Welcome to Mac OS X Snow Leopard. Stacks automatically display their contents in a fan or a grid based on the number of items in the stack. You can also view the stack as a list. If you prefer one style

Add to Reading List

Source URL: southlyonmedicalcenter.org

Language: English - Date: 2013-03-29 01:50:14
749Functors / Concrete category / Morphism / Category / Universal property / Chu space / Full and faithful functors / Natural transformation / Epimorphism / Category theory / Abstract algebra / Mathematics

Chu realizes all small concrete categories Vaughan Pratt January 9, 2005 Abstract The category Chu is concretely universal for much of concrete mathematics; in particular it concretely represents or realizes all categori

Add to Reading List

Source URL: boole.stanford.edu

Language: English - Date: 2005-01-09 13:07:13
750Mathematics / Semigroup theory / Concurrency / Modal logic / Non-classical logic / Philosophical logic / Monoid / Parallel computing / Chu space / Abstract algebra / Category theory / Logic

Time and Information in Sequential and Concurrent Computation Vaughan Pratt∗ Stanford University January 9, 2005

Add to Reading List

Source URL: boole.stanford.edu

Language: English - Date: 2005-01-09 13:06:29
UPDATE